*** empty log message ***

diff --git a/ChangeLog b/ChangeLog
index 331350790a586b6f984b1ce69a17027f75ea0b21..1b3cd9b2c5858b69e9ba77b7f3c958579d28b3dd 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2002-05-31  Eli Zaretskii  <eliz@is.elta.co.il>
+
+       * config.bat: Handle the case when lispintro is truncated to lispintr.
+
 2002-05-26  Paul Eggert  <eggert@twinsun.com>
 
        * config.guess, config.sub: Updated from master source.